Automated Modeling of Dynamic Reliability Block Diagrams Using Colored Petri Nets
نویسندگان
چکیده
منابع مشابه
Automated Verification of Dynamic Reliability Block Diagrams Using Colored Petri Nets
The increasing reliance on computer technology nowadays has resulted in a rapidly growing need to build reliable and fault resistant computer-based systems. Computer system reliabilities are conventionally modeled and analyzed using techniques such as fault tree analysis (FTA) and reliability block diagrams (RBD), which provide static representations of system reliabilities. A recent extension ...
متن کاملUsing Colored Petri Nets for Conversation Modeling
Conversations are a useful means of structuring communicative interactions among agents. The value of a conversation-based approach is largely determined by the conversational model it uses. Finite State Machines, used heavily to date for this purpose, are not su cient for complex agent interactions requiring a notion of concurrency. We propose the use of Colored Petri Nets as a model underlyin...
متن کاملSystem modeling with dynamic reliability block diagrams
System features like security, availability and reliability, usually summarized under the concept of dependability, recently are receiving increasing attention due to the high complexity of modern systems. This imposes that specific requirements and explicit or tighter constraints have to be satisfied. However, with particular reference to reliability, there is a lack of suitable tools to prope...
متن کاملValidation of Dynamic Behavior in UML Using Colored Petri Nets
This paper describes an approach for modeling the behavioral characteristics of concurrent objectoriented designs using the Petri net formalism. Specifically, this paper describes an approach for integrating colored Petri nets with concurrent object architecture designs created with the COMET method and specified in the Unified Modeling Language (UML). This work is part of an on-going effort to...
متن کاملModeling and Analysis of Security Protocols Using Colored Petri Nets
Security protocols are the basis of security in networks. Therefore, it is essential to ensure that these protocols function correctly. However, it is difficult to design security protocols that are immune to malicious attack, since good analysis techniques are lacking. In this paper, the current main analysis techniques using Colored Petri Nets (CP-Nets) for analysis of security protocols are ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans
سال: 2010
ISSN: 1083-4427,1558-2426
DOI: 10.1109/tsmca.2009.2034837